step(al,bs,tm(s,[ctxm(zeta_,u,ip,ip_al_3,ip_al_3),ctxm(zeta_,sp,ip,ip_bs,ip_bs)],pri(lst,[pri(h,[pri(lst,[ctxm(zeta_,u,i,i_al,i_al),ctxm(zeta_,dot,n,in_zeta_n,cn_zeta_n)])]),pri(h,[pri(lst,[ctxm(zeta_,u,d_5,id_5,cd_5),ctxm(zeta_,dot,n_2_1,in_zeta_n21,cn_zeta_n21)])]),ctxm(zeta_,u,d_6,id_6,cd_6),ctxm(zeta_,dot,cnd,i_cnd,d_cnd)]))).

